Makefiles: Do not override PREFIX or DESTDIR from the environment

These are not set in normal shell sessions.  Honouring existing
settings allows the caller of ./build to specify alternative values.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

devLib/Makefile

@@ -22,8 +22,8 @@
 #################################################################################
 
 VERSION=$(shell cat ../VERSION)
-DESTDIR=/usr
-PREFIX=/local
+DESTDIR?=/usr
+PREFIX?=/local
 
 ifneq ($V,1)
 Q ?= @

gpio/Makefile

@@ -23,8 +23,8 @@
 #    along with wiringPi.  If not, see <http://www.gnu.org/licenses/>.
 #################################################################################
 
-DESTDIR=/usr
-PREFIX=/local
+DESTDIR?=/usr
+PREFIX?=/local
 
 ifneq ($V,1)
 Q ?= @

wiringPi/Makefile

@@ -22,8 +22,8 @@
 #################################################################################
 
 VERSION=$(shell cat ../VERSION)
-DESTDIR=/usr
-PREFIX=/local
+DESTDIR?=/usr
+PREFIX?=/local
 
 ifneq ($V,1)
 Q ?= @