Added optional output of headers

Header files are crude summaries of sol parsing for now, but aims to
become a useful 'gist' of a sol parse or lua type deduction.