Adding api level 10 (artifact 13 in the android sdk) to travis-ci configuration