moving andalso bug report into fixed directory

git-svn-id: https://smlnj-gforge.cs.uchicago.edu/svn/manticore/trunk@5792 ac4fbcad-d21d-0410-b760-c7b1d3380187
adding bug report for large vector alloction

git-svn-id: https://smlnj-gforge.cs.uchicago.edu/svn/manticore/trunk@5793 ac4fbcad-d21d-0410-b760-c7b1d3380187