adderall.dsl: Convert run* and run into macros

Turning run* and run into macros has the advantage of not needing to
define the LVar outside of it, it can do so itself.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
README.md: Update the examples for the new run* syntax

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
README.md: Update the Reasoned Schemer test URL

Point to the URL to the directory containing the Reasoned Schemer tests,
instead of the wrapper file that imports them all.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>