Merge branch 'issue-5_OurToolsSection_with_AnsibleRoleFetcherInfo' into 'master'

Add new subsection: update mkdocs, add new section

Closes #5

See merge request !7

docs/best-practice/ourtools.md

+# Our Tools
+
+The DevOps division have created tools to speed up workflow for day-to-day tasks and other operations having wider scope.
+
+The canonical source of these tools is on [gitlab > Information Services > DevOps > Tools](https://gitlab.developers.cam.ac.uk/uis/devops/tools)
+
+## Ansible Role Fetcher
+
+When an ansible playbook relies on shared ansible roles held elsewhere the ARF can be used to set up your Ansible environment to automatically refer to a local copy of this(-ese) role(s)
+
+Find the webpage for [Ansible Role Fetcher](https://gitlab.developers.cam.ac.uk/uis/devops/tools/ansibleroles) here.
+
+You will find simple to use instructions on the above page (and found within Readme.md).
+
+## Google Cloud SQL Backup
+
+Needs documenting?
+
+
+## Docker Run Wrapper 
+
+Needs documenting?
+
+

mkdocs.yml

@@ -18,6 +18,7 @@ nav:
     - best-practice/javascript.md
     - best-practice/python.md
     - best-practice/webapps.md
+    - best-practice/ourtools.md
   - 'Our Services':
     - services/index.md
     - services/api-infrastructure.md