community and dev-setup fixes

* remove incubator from mailing lists
* specify Eclipse version
* add IntelliJ IDEA to prerequisites
* some code formatting
* fix the "Manual Trigger" section

Change-Id: Ic7b3c53ed39b1465954162e7e1f31b67f9df699c
Reviewed-on: https://asterix-gerrit.ics.uci.edu/998
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>
4 files changed