buildserver - get_karoshi script added.

get_karoshi is for easily downloading the karoshi setup to convert Unbuntu 14.0.4 server into a karoshi server.
Instructions are in the development section of the documentation on linuxschools.com.