Mario AI Championship 2012 code (http://www.marioai.org/)