Test under more PHP versions on Travis

See #1