Renamed tmp file with tmp-filter- prefix
Added PATH=$PATH to persist environment variables when starting galaxy server
Changed name of SOAPdenovo2 executable
Changed name of KmerFreq executable
Changed name of Corrector executable
Changed default value for output format