src: add menu to manage repos

The menu includes a list of the repos of each server. The user can
select a server or a repo to make changes.

As of now, the only action possible is to add a repo to selected
server.

The work contained in this commit can be structured in:

1. Add the repos menu:
- Add a 'repos' button in the menus bar (base.html).
- Add repos.html template to create the management repos menu.
- In ogcp.js, add function to store in browser's local storage which
  elements of the sidebar are uncollapsed. This saves the sidebar state
  after a page refresh.
- Add manage_repos() in views.py

2. Allow to add a repo:
- Add template with form to add a repo (repos_details.html)
- Create RepoForm(FlaskForm) in action_forms.py
- Add repo_add_get() and repo_add_post() in views.py

1 files changed, 16 insertions, 0 deletions

diff --git a/ogcp/templates/actions/repos_details.html b/ogcp/templates/actions/repos_details.html
new file mode 100644
index 0000000..32b96bf
--- /dev/null
+++ b/ogcp/templates/actions/repos_details.html
@@ -0,0 +1,16 @@
+{% extends 'repos.html' %}
+{% import "bootstrap/wtf.html" as wtf %}
+{% set btn_back = true %}
+
+{% block nav_repos %} active{% endblock %}
+{% block nav_repos_details %} active{% endblock %}
+{% block nav_repos_add %}active{% endblock %}
+{% block content %}
+
+<h1 class="m-5">{{_('Repo details')}}</h1>
+
+{{ wtf.quick_form(form,
+                  method='post',
+                  button_map={'create': 'primary'},
+                  extra_classes="mx-5") }}
+{% endblock %}