minor fix in the proof of 5.17 i
add a pointer to the vl11raw branch to README.md