Add short instructions on adding cmake options for devs