Add functional sha2.py.