Make python files executable

Add the executable bit, and standardize the use of /usr/bin/env python