configure: add option to disable compilation of demos