Godsdienstpolitiek Nederlands-Indie/Indonesie, in het bijzonder betreffende de Islam