Preserve quotes on certain flags that contain spaces (#200)
Preserve quotes on certain flags that contain spaces (#200)

This is useful, for example, if one needs to pass specific  flags
by hand (due to the need to use old libraries for example).  Fixes
#198

Signed-off-by: Marcello Seri <34fd14c67154e888f6587d5c0e7eadd13aaf7ca7@citrix.com>
dra27/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,rdavison/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,rdavison/jbuilder,janestreet/jbuilder