Use python3.3 to run documentation tests