tmproc 0.20, a Topic Maps implementation