Makefile: `ghci' and `tags' targets