Add the forgotten options.ml

Signed-off-by: Jerome Maloberti <jerome.maloberti@citrix.com>