benchmarksgame - a (periodically) updated Computer Language Benchmarks Game with ATS examples