Revert "move proguard under project"

This reverts commit f39311bd4b1f82319c920aa17f88ecac570ea4ff.

Since /project/ is in .gitignore, the reverted commit actually took out of VC. Duh.
minor updates to doc