Comment change stats on pull requests and trim area labels

A bot comment shows changed lines per module and test coverage, and the area labels are removed.