RFR: 6835: Adding developer guide for getting started with development

[Marcus Hirt]

On Fri, 19 Jun 2020 14:23:44 GMT, Guru Hb <ghb at openjdk.org> wrote:

>> This PR adds a short developer guide, to help newcomers getting started setting up the development environment.
>
> docs/devguide/README.md line 15:
> 
>> 14:
>> 15: ![Workspace Selection](images/workspace.png)
>> 16:
> 
> [nit] Pre-fixing image name like 01-workspace.png , 02-setinstalledjre.png...12-formattersettings.png . would help a
> bit if the user wants to view these settings in order in there Folder (Explorer / Finder).
> ![image](https://user-images.githubusercontent.com/1955702/85143630-9cc8c380-b267-11ea-951d-828f7f3da11e.png)

I'd like to keep it as it is. Partly because I'm lazy, but also because if we extend or change the devguide, we'd have
to potentially change the names of a lot of files and the README in a corresponding number of places.

-------------

PR: https://git.openjdk.java.net/jmc/pull/82