Fix cabal handling of benchmarks

Put different benchmarks in different directories, else cabal doesn't
execute them correctly. The module name of the benchmarks has to be `Main`