Added timeout setting for Travic-CI, hopefully avoiding build timeouts during CI