Rename SHA3 Scalar and Simd256 functions

[mamonet]

This patch uses the new hacl naming convention for SHA3 Scalar and Simd256 functions.

NOTE naming convention is slightly modified to distinguish between scalar and original SHA3 functions until we remove the latter.

[coveralls]

Pull Request Test Coverage Report for Build 7116150594

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 59.089%

---

Totals
Change from base Build 7085212369:	0.0%
Covered Lines:	37671
Relevant Lines:	63753

---

💛 - Coveralls

[franziskuskiefer]

@mamonet CI is failing. Can you check what's going on? I retriggered a failing job.