Output types: ExternalAPI, ExternalTypes, and Makefile generation

[tahina-pro]

With @aseemr and @nikswamy

Also includes:

• Case change for type names generated by 3d: EVERPARSE_INPUT_STREAM_BASE instead of EverParseInputStreamBase
• --(no_)emit_output_types_defs
• --add_include to add a #include directive to all generated .c and .h files

[nikswamy]

FYI, the --cleanup option does not clean up the ExternalTypes.krml and ExternalAPI.krml files

[nikswamy]

I also see these krml warnings

Warning 24: EverParse3d.ErrorCode.is_error is marked [@cinline] and also covered by a -static-header krml option... the [@cinline] is redundant because -static-header generates code marked as static inline
Warning 24: EverParse3d.ErrorCode.is_success is marked [@cinline] and also covered by a -static-header krml option... the [@cinline] is redundant because -static-header generates code marked as static inline
Warning 24: EverParse3d.ErrorCode.set_validator_error_pos is marked [@cinline] and also covered by a -static-header krml option... the [@cinline] is redundant because -static-header generates code marked as static inline
Warning 24: EverParse3d.ErrorCode.get_validator_error_kind is marked [@cinline] and also covered by a -static-header krml option... the [@cinline] is redundant because -static-header generates code marked as static inline
Warning 24: EverParse3d.ErrorCode.check_constraint_ok is marked [@cinline] and also covered by a -static-header krml option... the [@cinline] is redundant because -static-header generates code marked as static inline
Warning 24: EverParse3d.Prelude.StaticHeader.get_bitfield8 is marked [@cinline] and also covered by a -static-header krml option... the [@cinline] is redundant because -static-header generates code marked as static inline