Jenkins is going to shut down

Workspaces for mr-clang-stage1-cmake-RA-expensive #4