add python highlighting