publish: Add publish command. * Add `shell` publisher. * Refactor admin panel's publishing backend to use that, along with the new PID file support.

{% extends "section-page.html" %}

{% block header %}
<header class="documentation">
    <h1>{{ page.title }}</h1>
</header>
{% endblock %}