Add filenames option for AanetPump as well

Option to give multiple filenames is there for EvtPump and HDF5Pump, would be nice to have it for aanet too.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information