Add -restrict option; restrict symbol generation to JSON file

Fixes go-gl/glow#42
We can omit the TODO for now; I'm not yet convinced I'm suggesting a superior implementation. It was more a thought to bear in mind for future refactoring passes.