Skip sanity checks in dev profile

Move skip of sanity checks from quick-build scripts into dev profile.
This is more convenient at least for users of Maven bash completion.

pom.xml

@@ -1046,6 +1046,8 @@
     <profile>
       <id>dev</id>
       <properties>
+        <skipSanityChecks>true</skipSanityChecks>
+
         <!-- used in sonar-core-gwt and sonar-design-plugin -->
         <gwt.permutationSuffix>Dev</gwt.permutationSuffix>
         <gwt.extraJvmArgs>-Xmx512m -Xss1024k -Dgwt.draftCompile=true</gwt.extraJvmArgs>

quick-build.bat

@@ -1,2 +1,2 @@
 set MAVEN_OPTS=-Xmx256m
-mvn clean install -Dtest=false -DfailIfNoTests=false -DskipSanityChecks=true -Pdev %*
+mvn clean install -Dtest=false -DfailIfNoTests=false -Pdev %*

quick-build.sh

@@ -12,4 +12,4 @@ echo ''
 echo '-------------------------------------------------'
 
 # it is recommended to use maven 3 for faster builds
-mvn clean install -Dtest=false -DfailIfNoTests=false -DskipSanityChecks=true -Pdev $*
+mvn clean install -Dtest=false -DfailIfNoTests=false -Pdev $*