An installer to help developers install Sakai 2.9.3 on different platforms