Pretty printer for HaStABeL sol.{mod,lvl} files.