Use python 3.3 on travis