ARM.inc should have lower precedence than Make.user
Reorganize Make.inc to do detection earlier
Merge branch 'arm-make3' of github.com:JuliaLang/julia into arm-make3

Conflicts:
	Make.inc
Merge branch 'arm-make3' of github.com:JuliaLang/julia into arm-make3