Updated SoV documents

[Brian Goetz]

I've updated the SoV documents, including the new sections on VM model 
and translation:

http://cr.openjdk.java.net/~briangoetz/valhalla/sov/01-background.html