Start and stop eunit server

When running eunit tests, take care of
starting and stoping eunit server.
Code simplifications in `check_module_name'
Add `no_tty' option to eunit tests

This seems to solve the problem with hanging eunit
but we have not figure out yet why the hang occurs.
Also this options slightly decreases checked interleavings.
Lid regress test now succeeds
Handle renaming of tuple formated module names

Mochiweb uses a weird notion to call a function,
something like {?MODULE, Args2}:Fun(Args1).
Now Concuerror renames it properly.