gen-graphs: no longer look for minimaven

... because MiniMaven moved out.

Thanks, Jiera Jenkins!

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>