Fix up some minor null pointer issues in Clight. Add corresponding Cminor example and fix up pretty printer a little.