very short SHA-1 implementation in JavaScript (intended for bookmarklets, etc.)