General intro for the Developer

Borreguero Calvo, Joserequested to merge
introdevdocs into next

Work Done:

  • Moved image and paragraph from the devops guide to the top of the developer's documentation.
  • Removed from the devops guide index certains parts (the local environment and the GitLabCI) that are now addressed in their own pages, under the developer's documentation.
Edited by Borreguero Calvo, Jose

Merge request reports