libmirage: Use standard cmake option handling