package: updated to Corrade's Jenkins CI changes.
package: don't bother with the tests on Emscripten at all.

They are slow to link and are always failing anyway.
package: initial Jenkins configuration for NaCl build.

Fails on master, as it needs compatibility branch for x86 builds (GCC
4.4).
package: fix NaCl Jenkins configuration.
Fix NaCl build.

Apparently I enabled the queries for NaCl without testing at all.
Platform: fix documentation.

The templates arguments were breaking the doc layout badly, hiding them
for documentation.