Quick start

Contains references to the documentations of the Quick start of OpenKAT