#459 coverage.py configuration

[Matt Chaput]

The Coverage.py library has extremely useful (I would say necessary) configuration options allowing the user to exclude code such as __repr__ methods and "if __name__ == '__main__'" from coverage reports (see http://nedbatchelder.com/code/coverage/config.html\). PyDev should allow the user access to these configuration options.