archiving unused branches
Merged -r 525:527 from hyracks_dev_next into branch

git-svn-id: https://hyracks.googlecode.com/svn/branches/hyracks_indexes@528 123451ca-8445-de46-9d55-352943316053
7 files changed