Simplify Travis test suite

Do not test all syntax checkers anymore, because provisioning and
testing these takes far too long.  Instead, just check the core.

Should prevent core bugs, at least