Adjust instructions to recommend docker-eiffelstudio
wd-test.sh uses local wd when available
add jumanjiman/wormhole as alt devenv
eiffelstudio is no more

Apparently upstream does not want anybody to download
the GPL version of EiffelStudio.

    $ wget http://ftp.eiffel.com/pub/download/13.11/Eiffel_13.11_gpl_93542-linux-x86-64.tar.bz2
    Resolving ftp.eiffel.com (ftp.eiffel.com)... 173.230.158.198
    Connecting to ftp.eiffel.com (ftp.eiffel.com)|173.230.158.198|:80...connected.
    HTTP request sent, awaiting response... 301 Moved Permanently
    Location: https://ftp.eiffel.compub/download/13.11/Eiffel_13.11_gpl_93542-linux-x86-64.tar.bz2
    https://ftp.eiffel.compub/download/13.11/Eiffel_13.11_gpl_93542-linux-x86-64.tar.bz2
    Resolving ftp.eiffel.compub (ftp.eiffel.compub)... failed: Name or service not known.
    wget: unable to resolve host address ‘ftp.eiffel.compub’