add migratehdl in hoodle-tools.cabal and tidy it up.