www: Add information about code coverage and static analysis
www: Add information about isl-0.12.1 release

Polly can now be compiled without explicitly linking to GMP licensed code.

This patch also contains some formatting improvements.