hets-lib initial port file; changing portfiles back to lowercase git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14937 cec4b9c1-7d33-0410-9eda-942365e851bb
back to lowercase, sorry. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14936 cec4b9c1-7d33-0410-9eda-942365e851bb