Download workspace manager tools for linux