Add Extensions Option (WIP)

This is currently not useful! It just adds an option.

(It does not change the linter’s `@source` property. It also does not contain any code to tell `linter` to reload this linter and apply it to other file types.)