Migrate ImageJ core options from ImageJ repository

Migrated from:
https://github.com/imagej/imagej/tree/imagej-2.0.0-beta-7.9/core/options