Spoofax Testing Language manual

Manual with most of the SPT features, excluding `target language`, `target start symbol`, `package`, and `refactor`, and excluding `complete`, `fatal errors` and `notes` because they currently don't work.