add Mathemagics, RandomExtras and cabal file