Revamp way options are specified

* Project build options now specified via single `sh/options' file.
* Allow parameters to be specified for project binary.
* Perform sanity checks on project's options.
* Create default options file, complete with documentation.