Make evarconv and unification able to handle eta for records in presence
of metas/evars
Do not pass "-batch" or "-load-vernac-source" to slaves, avoiding errors in
stm test-suite files.