improvements to source.android.com

[Glenn Kasten]

https://source.android.com/ is your "go to" site for technical information on

downloading, building, porting, and testing the Android Open Source Project.

We've just updated the site with several major additions,

in particular Google Feedback integration. This feature allows you to comment

on particular pages and make suggestions for improvements to the site.

Please check out the "What's New" section of

https://source.android.com/ and let us know what you think

(using Feedback of course!)