ports-mgmt/synth: Upgrade version 1.34 => 1.40

This release brings a behavioral change to Synth.  The action of building
package repositories is much more conservative now; packages that would
fail sanity checks are only removed under the following commands:
  * synth prepare-system
  * synth upgrade-system
  * synth rebuild-repository
  * synth everything

That means the following commands will never result in built packages
being removed now:
  * synth install
  * synth build (followed by "yes" to rebuild repo question)
  * synth force (followed by "yes" to rebuild repo question)

Other changes/fixes:
  * The PORTSCAN.SEEK_FAILURE exception is usually a false positive and
    should be fixed now
  * Under test mode leftover check, all changes to /var/db between
    installation and deinstallation are ignored rather than being flagged
    as a failure (see databases/mysql56-server test failure)
  * Add support for DragonFly's /boot/modules.local (similar to FreeBSD's
    /boot/modules)
  * Bring in ports patch to use installed libraries instead of the bundled
    versions

ports-mgmt/synth/Makefile

@@ -2,7 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	synth
-PORTVERSION=	1.34
+PORTVERSION=	1.40
 DISTVERSIONPREFIX=	v
 CATEGORIES=	ports-mgmt
 

ports-mgmt/synth/distinfo

@@ -1,2 +1,3 @@
-SHA256 (jrmarino-synth-v1.34_GH0.tar.gz) = c7f0150ff1ee12cb6006797bc2c7b0c4a2b1478f689b7d0f73b02a420d57bcb2
-SIZE (jrmarino-synth-v1.34_GH0.tar.gz) = 101000
+TIMESTAMP = 1465723186
+SHA256 (jrmarino-synth-v1.40_GH0.tar.gz) = bd7ab4b5d82d80508f68a8f525bc8351cee723aa9c3f3c2c0042d81a78605656
+SIZE (jrmarino-synth-v1.40_GH0.tar.gz) = 101245

ports-mgmt/synth/files/patch-default.gpr

@@ -1,13 +0,0 @@
---- default.gpr.orig	2016-04-19 08:59:22 UTC
-+++ default.gpr
-@@ -1,8 +1,5 @@
--with "external/lib/gnat/ini_file_manager.gpr";
--with "external/lib/gnat/adacurses.gpr";
--
----  with "ini_file_manager.gpr";
----  with "adacurses.gpr";
-+with "ini_file_manager.gpr";
-+with "adacurses.gpr";
- 
- project Default is
-