Updates to INSTALL file and STP patch

Based on suggestions from Mathias Payer, though he may have had
some simpler fixes in mind.
- Update list of Debian/Ubuntu packages to show a minimal needed set,
  and for 14.04.
- Recommend Git STP over SVN STP, but also update the SVN STP patch
  with a 14.04 compatibility fix.