First iteration on option attributes

[jaapio]

The new option attribute makes it easier to validate directives. An extra advantage is that we can use the new attributes to document the directive options.