Add Getting Started Page for Users

[Varunram]

Intended as a fix for #1673.
Didn't know where to add the file, so put it under docs/usage/
Thanks!

[biboudis]

First of all thanks for contributing this page! I think that most of this information is written on our landing page and the rest are on the contributions' Getting Started.

However, I feel that your last part: Generating Documentation can be added at the end of the contributions' Getting Started page.

WDYT @felixmulder?

[felixmulder]

@biboudis: sounds good to me 👍

[Varunram]

Awesome! Will do the changes right away. Sorry for being late!

[Varunram]

@biboudis Changes done as requested. Thanks for your time!

[biboudis]

Perfect. I think the file docs/docs/usage/getting-started.md is not needed at all. After that we can merge @felixmulder, right?

[Varunram]

@biboudis Yeah, that's what I was thinking too. But since @felixmulder raised an issue I put in a new page. Waiting for Felix's review

[biboudis]

@Varunram let's add the new information that is documented on http://dotty.epfl.ch/#getting-started

Namely brew install lampepfl/brew/dotty for Mac and getting the latest release for the rest. Put that before the Getting Dotty section, titled Install Dotty.

Also, don't forget to add the necessary entry in https://github.com/lampepfl/dotty/blob/master/docs/sidebar.yml
to create the new navigation option.

[Varunram]

@biboudis Done!

[biboudis]

LGTM!

Thanks @Varunram!

[biboudis]

Can you make it "Option 1: Install Dotty"?

[Varunram]

Sure, will do :)

[biboudis]

and maybe "Option 2: Using Dotty directly from source"

[Varunram]

Thanks a ton for your patience! Really appreciate it :)