update on documentation. Adding krasa as contributor