ENH: quickly reinstall previously installed extensions v3

Created by: hmeine

This is a successor of #698 (since I cannot push to @mneugeba's branch directly).

In addition to that PR, this fixes compilation on Unix, adds translation features and some UI polish.