flyspeck: add README.md