Expose list of machine translation services to javascript
New machine translation interface

- translations are now shown in separate tab
- all available services are asked at once
- user can copy text to translation
- dropped support for old microsoft translator API
Allow machine translation backends to change source

In some cases it allows to track original source of the translation.
Document machine translation setup