GCodeml installation instructions have been merged into the main
GC3Pie install document; please see:

  http://gc3pie.googlecode.com/svn/trunk/gc3pie/INSTALL.txt
