Remove TABs from src Will also make selftest to check that they aren't introduced
Implement logging kernel on top of stdknl terms The code from logging-kernel/Thm.{sig,sml} lives on but the other stuff (duplicates of code from experimental-kernel) can be deleted.