Merge branch 'docs/update_debian_instructions' into 'develop'