add COPYING.html
add CREDITS