Alter formatting in INSTALL.rst

* Formats shell commands as literals
* Fixes a dangling symlink
* Makes note of new AGI argument syntax

No extraneous commits or incorrect branches this time. Sorry about that.