Sync basetools' source and binary files with r1707 of the basetools project.