Merge branch 'master' into extensions_registry
Add cmake option to generate constants and extensions
Merge branch 'extensions_registry' of github.com:hpicgs/glow into extensions_registry