Builds Keith based on the lasted ELK, KLighd, Pragmatics release and the semantics/keith master

Build: #11 was successful Scheduled with changes by Soeren Domroes