Update installation instructions for debian

These are the new debian installation instructions for 1.15.1.

@neumino can please you review.