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

Conflicts:
	Make.inc