Match directory name to tag name

The GitHub tag used for the first release of cv32e40p is cv32e40p_v1.0.0, so the name of the milestone directory was updated to match. Also took the opportunity to make a couple of small updates.