Added travis_wait to prove command for avoiding termination of build.