Makefile tweak, switch to dev branch on benchmarsk
Change default ghc to 7.8 and reenable all benchmarks
Merge branch 'master' of github.com:iu-parfunc/onlineProfiling

Conflicts:
	run-benchmarks.hs
Merge branch 'master' of github.com:iu-parfunc/onlineProfiling

Conflicts:
	benchmarks