option('install-tools', type: 'boolean', value: false)

option('docs',
       type: 'boolean', value: false,
       description: 'Build reference manual')