First cut at virtual time scheduler docs