Add coverage tests in main Makefile - but only for local builds

Makefile

 PY_SRC:=$(wildcard dmt/asn2dataModel.py dmt/aadl2glueC.py dmt/smp2asn.py dmt/*mappers/[a-zA-Z]*py dmt/commonPy/[a-zA-Z]*py)
 PY_SRC:=$(filter-out dmt/B_mappers/antlr.main.py dmt/A_mappers/Stubs.py, ${PY_SRC})
 
-all:	flake8 pylint mypy coverage
+all:	flake8 pylint mypy
+
+allLocal:	flake8 pylint mypy coverage
 
 flake8:
 	@echo Performing syntax checks via flake8...