libxmi -> libggixmi

[Johannes Zellner]

Hi,

What about renaming libxmi to libggixmi to prevent conflicts
with GNU's libxmi ? -- maybe the same for svgalib ? -- I
want to keep the original svgalib, but also install the ggi
one for example.

-- 
   Johannes