Delete library.html

subsumed into main index