Implement lowering of ISIS protocols

* src/pf/expand.lua: Implement lowering for ISIS protocols.
* doc/Makefile: Add example 'l1'.
* doc/icmp-or-tcp-or-udp.md: The code generated has changed. Semantically there are no differences.
* doc/l1.md: Generated code for 'l1'.