Makefile: MongoDB server only instantiated once; more graceful handling of cleaning up servers (if on); .PHONY for all non-file targets