Added a pretty.c formatter - replacing old manual printing code