Allow getting builtin options with get_option. Fixes #23.