move BUGS to GitHub issues