Simplify installation instructions slightly by consolidating apt-get lines.