Boa 0.94.13 released

Boa 0.94.13 is primarily a "clean up" release, which means that most of the changes made are to improve the overall quality of the code, without introducing many new features. There are some bug fixes, and some new features, but the overall changes have been to do a better job of checking the results of system calls and memory allocations.