Ensure new options values are always properly typed.
Review Request #1175 — Created Oct. 16, 2014 and submitted
Previously values read from pants.ini were always strings.
Amend the relevant unit test to detect a regression of this.
Fixed the test, then ran it before and after the fix.