Update Travis CI to build the workspace instead