Travis: try installing inform7