Can shorten sourceforge download URLs to leave out mirror

Tip from Bjoern Gruening
Tweak MIRA3 install, Galaxy should cd to the untar'd folder
Install all the MIRA3 binaries (might expand wrappers, see MIRA4 work)
Mention MIRA3 installation fix in README