Alternative to copying over Eclipse workspace

Now we can simply specify the workspace directory when we start Eclipse for the first time -- saves us from redefining our launch configurations!