bash: sort list of Android trees