Add overview about polyhedral compilation to main page

Contributed-by: Alain Darte