added support for 'make test'

'make test' in base diretory now runs Ramana's tests
and also checks that all proofs for the HOL Light
case study build.