Consider renaming the internal headers

[msprotz]

from hacl-star/hacl-star#1025 -- having files named identically can cause problems down the line, so it might be a good idea to have a different name for the internal headers, like a _internal suffix

suggestion by @chris-eibl