Installs ProB binaries to required location
Travis build