Run regressionTests on travis-ci

Ghost Userrequested to merge
github/fork/bivab/develop into develop
  • Download and extract ProB public examples to run regressionTests.
  • Update paths in test
  • Update travis ci config

Merge request reports