add examples and complete the documentation

changelog

• semi_avid, kzg and aplonk examples have been added
• the fs module has been hidden behind an fs feature
• the conversions module has been properly hidden behind the test config feature
• the documentation has been completed
• some error messages have been improved

Note

the documentation of aPlonK has been left as-is for now