Linux workspace setup

New linux workspace setup instructions