Updating: improving ATS-parse-emit
Updating: very minorly improving
Updating: initiating atscc2php
Updating: working on atscc2php
Updating: minorly tidying-up
Updating: working on atscc2php
Updating: improving ATS-parse-emit
Updating: tidying-up
Updating: tidying-up ATS-parse-emit
Updating: improving atscc2php
Updating: very minorly improving
Updating: very minorly improving
Updating: very minorly improving
Updating: improving ATS-parse-emit
Updating: adding test for atscc2php
Updating: improving atscc2php
Updating: improving atscc2php
Minor improvement. Some C types are mapped to CIL types.
Merge remote-tracking branch 'refs/remotes/upstream/master'

Conflicts:
	projects/MEDIUM/ATS-parse-emit/atsparemit_emit.sats
Adding function type environment/lookup to emit full types at call
sites. Doesn't work for all cases (e.g., function prototypes
defined in header files will not get picked up).