base, js (websocket), css (main style): dynamic pages implementation, first draft: this patch introduces the browser part of dynamic pages. Dynamic pages work by establishing a websocket between server and the current page, if requested by server (which means that needed arguments are present in template). Once the connection is established, the server can, for now, reload the page, append HTML elements, or receive arbitrary data (without reloading the page, in opposition to data post). If connection can't be established, a popup will be displayed and connection will be retried many times after variable timeouts. The browser will finally give up and display an alert to client if the number of retries is too high (20 for now).

{# menu labels, map from menu names to labels #}
{% set ml = {
    'login': _('Session') if profile else _('Log in'),
    'blog_view': _('Blog'),
    'merge-requests_list': _('Merge requests'),
    'merge-request_new': _('Create new merge request'),
    'tickets_list': _('Tickets'),
    'ticket_new': _('Create new ticket'),
} %}

{% macro menu(menus, class='') %}
    <nav class="menu {{class}}">
        <ul>
        {% for name,url in menus %}
            <li><a class="menu_item button {{name}}" {{ {'href': url}|xmlattr }}>{{ml[name]}}</a></li>
        {% endfor %}
        </ul>
    </nav>
{% endmacro %}