support an "auto" directive to --value-type

This options finds the smallest type that should contain the numerical bounds of
the model.

Github: related to #23 "Use native scalars of variable size"