Added tests for prov and antagen and also added manage.test.py for testing in Travis