Merge code for include_snippet and include_example.

The latter is a special case of the former, now they behave
consistently wrt interpretation of #@ and friends.
Autocommit: libraries changed 2013-12-18-16:07:22