add --with-gmic configure option