Merge branch '15-dconf-default-proxy' into develop

Closes issue #15

debian/preinst

@@ -12,6 +12,10 @@ case "$1" in
             rm -f /etc/dconf/db/gdm.d/02-logo
             rm -f /etc/dconf/db/gdm.d/03-smartcard
         fi
+        # in version > 0.6, proxy config was moved to another package
+        if dpkg --compare-versions "$2" le 0.6 ; then
+            rm -f /etc/dconf/db/local.d/01-proxy
+        fi
         ;;
     abort-upgrade)
         ;;

etc/dconf/db/local.d/01-proxy

@@ -1,3 +0,0 @@
-[system/proxy]
-autoconfig-url="http://proxypac.si.francetelecom.fr:8080"
-mode="auto"

etc/dconf/profile/user

@@ -1,2 +0,0 @@
-user-db:user
-system-db:local