python library for /dev/kmsg (printk)