Disable rst2ctags support since it is too slow for routine use.
Fix up the lookup for machine-specific configs.

$VIMUSERFILES now incorporates $VIMUSER in it, so we no longer need to
insert that segment into VIMMACHINE_CONFIG.