This reverts commit 342e58c8.

The options code had already been fixed. My mistake.

We disabled the media options shortly before the last release because of
an unfixed bug. The disabling was not complete which caused problems
with templates not incorporating the needed CSS.
Since the option dialog hasn't been fixed yet, this patch also disables
the creation of the corresponding HTML to avoid the mentioned template
problems.

Signed-off-by: Guy Brand <gb@unistra.fr>

Signed-off-by: Guy Brand <gb@unistra.fr>

don't use form_makeTag() for blank.gif as empty attributes are not passed on (which resulted in a missing alt attribute)

The user was nameencoded twice.

These regular files were executable for no reason. They needed a special
rule for the Debian package, better to fix it upstream.

This functionality broke in recent updates to the cookie handling. This
patch makes it work again.
Binding to the session is now a functionality of auth_cookiesalt()