Gradle support

We have added Gradle support, following Google guidelines. We have also simplified the procedure, updated the setup instructions, and tried to address the Maven problem (#654).