Debian package for web100 userland library