[S] Change in onomondo-eim[master]: contrib/onomondo-eim.sh: add option to set a mnesia dir