Makefile: suggest users to run "make install-dev" after install
Also add a couple of missing targets to .PHONY