Link to contract programming page from functions spec.

So that readers will understand what the in and out blocks are for.

Fixes: https://issues.dlang.org/show_bug.cgi?id=13328