Makefile: make use of ccache to speed up compilation