Add option to run tests for external libraries

[pcarrott]

To run tests, an optional flag --runextra may be used to test integration with external Coq libraries.