Tweak spacing in INSTALL.md

(the steps I outdented aren't Git resources)