add Mathemagits, RandomExtras and cabal file