Update the INSTALL instructions with lots of options