Add code generation options

Close #457.

At the moment, Implement Interface, Record stub generation and Union pattern matching generation share the same option.

![image](https://cloud.githubusercontent.com/assets/941060/3292617/70311cb2-f591-11e3-8f7f-d02e89f48f26.png)