doc: documented the user args feature in Synopsis. Also added more stuff to the Installation section.