Added file BUGS to list known bugs that need to be fixed.