added GPL header to denovogear.cc