added TemplateEngine :: option($name [, $value]) to set/get options
arrays: add trailing commas to shorten future diffs
new option plugin_profiling: used to check plugin efficiency

can be dynamically enabled using the te_profile URL parameter
move printTimingStatistics to the general TemplateEngine shutdown handler
fix return value comment of pushContext