Rename SICP-2.67-2.72.txt to SICP-2.67-2.72.md