Quick regression tests

[wwitzel]

trafficstars

We could store all the loaded modules for each Prove-It notebook. For quick regression tests, look at the modules and notebooks that have changed and just rerun the notebooks that have changed directly or use modules that have changed. The goal would be to have something that is typically fast enough to run on a single core to do it under an hour for Travis CI (except when there are changes in the core that affect almost everything).