Rename echidna-test to echidna

[montyly]

I don't think we have any reason to keep echidna-test instead of echidna. As far as I can remember we used echidna-test, because in its first iteration we had ideas for other tools. As we never explored them, it would probably make sense to just use echidna for simplicity