Upgrade to Java 8-compatible infomas-asl

See https://github.com/rmuller/infomas-asl/issues/17

This allows the bot to run under Java 8.