You’re completely on the right track – have you had a look at those files? All the info is in there.
The images are wrapped in a <div> within product-image.php which you would change to a <ul>. Then wrap the featured image in a <li>. Then you would just wrap the thumbs within an <li> in product-thumbnails.php and that would be finito.