Minor correction to INSTALL regarding the test makefile target.
Make sure we run all makefile targets in the Travis configuration.