Use framebuffer to run tests on Travis, and fix other Travis issues