Preparing a Ubuntu machine for the toolkit

Personal tools