doc: start with a website for Patmos and the compiler