New site

This is the new web site for Idris 2