Updated documentation of Patmos scheduler framework