Adding a Workspace file for Travis to use