Add @library field to PyKronos