README: python highlighting