Rename sicp to sicp.html