Implement lowering of ISIS protocols

* src/pf/expand.lua: Implement lowering for ISIS protocols.
* doc/Makefile: Add example 'l1'.
* doc/l1.md: Generated code for 'l1'.