Remove Mantis and Trac migrations scripts

Both haven't been updated for a long time and are probably broken.