Bump debhelper from old 12 to 13.
+ Drop check for DEB_BUILD_OPTIONS containing "nocheck", since debhelper now does this.
Fixed-Lintian-Tags: package-uses-old-debhelper-compat-version
