This seems a lot, but 65k definitively ain't enough for some
movies.

Since 6bb9f299 (or master/1834c5a7) it was not possible to load
luahttp using this shortcut anyway.

Which was wrong way anyway.

also fix sub 720p defaults

Signed-off-by: Rémi Denis-Courmont <remi@remlab.net>

(as with old http interface). Also added '-Lua Web Interface-'.

Adding the '-Lua Web Interface-' will give an easy way for applications to tell whether they are dealing with the old or new interfaces. The commands are somewhat different, so this is important.
Signed-off-by: Rémi Denis-Courmont <remi@remlab.net>

Signed-off-by: Rémi Denis-Courmont <remi@remlab.net>

VP8/webm profile defaults to 720p, which could be reasonable default imo.
Not sure if people want to it to default to same resolution as input is.

Manual forward-port of [41c69be0]

We don't want that anymore anyway

We parse the additional HTML5 section too, the only place where the
WebM formats are listed. If the URL contains "&html5=True", the WebM
formats are preferred, when available.

Normally, the window will go on top of the stack of normal windows
anyway. If not, we may need to force this, which is different from
always-on-top in any case.

Known issue: toggling video on top while in fullscreen is not
implemented yet.

This also saves one HTTP redirect

This saves a few mutexes, but it does not really solve gcrypt
reentrancy. gcry_control() should only be called once for all per copy
of gcrypt in the memory. This is hard to conciliate with dlopen().