Merge branch 'master' of ssh://git-annex.branchable.com
rename isIA to configIA

Already done on s3-aws branch, so reduce divergence.
Merge branch 'master' into s3-aws

Conflicts:
	Assistant/WebApp/Configurators/AWS.hs
	Remote/S3.hs