project.properties: target=android-17 (was android-9)

latest SDK Manager seemingly does not even include API Level 9.
skips from 8 to 10.