Fix copypasta in specification

Change-Id: If98f60657cd84c2e08b8090b848c921b79670efa
Remove unnecessary reference to NDesk.Options

Change-Id: I9ed458d23fce28f5efafa893f411f5a1fd6058c2
Fix up the public API of the compiler

Change-Id: I6608b6831db0def332dfb756491a02de5b0057a4
Minor corrections to manual

Change-Id: I8904d6212d2866152db261f933cc060aec31ada3