Cleanup redundancies in setup: Makefile, tox, make_coverage.py.

There are redundancies in the setup (Makefile, tox, make_coverage.py etc.). We should clean this up at some point. For instance, I only added tests examples in Makefile, but not in tox.ini: !15 (a5d69ead)

• tox -e docs,coverage also runs under Windows