Added minimalist Python utility to show the SHOULD/MUST coverage.
Added mdns_todo makefile target.
Some refactoring in preparation of adding DNS name compression support for encoding.
Added name compression support for encoding too (I thought I had already written it, but the test code was broken. Oh well.)
Added minimalist skiplist implementation which has only insert (so far). To do: Much more.
Finished ipi_skiplist implementation - added find(s) + remove.
Made the less-than operator overridable. Equality is strict object equality, from our point of view.
Added support for partially ordered skiplists - highly useful when dealing with priority queue, and Lua's lack of good tie-breaker for random objects (no way to get e.g. pointers easily).
Added iterate_while construct.
Now the mdns_if with skiplist actually seems to work.
Now using same timestamp for the whole single rtc step => (for example) times will be much more regular.
Some more tests, 19 MUST todos left (mostly to do with fragmentation, and stuff that is not really applicable). I think we are mostly done here.