Update theia precompiled distribution

[jkrue]

We should update the theia precompiled package and offer it as a deb package (instead of tar.gz). This will also remove one dependency on the BiBiServ (see #704 ).