fixing wrong directory in patch (so all strip options can be the same)
adding patch for built source of gringo which comes from tarball

(just patching the r2c input file achieves nothing because
the output "parser.cpp" is already there so make will not invoke re2c)
some fixes for make distcheck