Get rid of experimental CDK packages

[HenrikFricke]

We use API Gateway V2 for the Rest API. Even though the HttpApi looks very promising, the CDK package is about to change with minor updates. We shouldn't use packages breaking the serverless workshop overnight.

Acceptance criteria:

• Replace the HttpApi by the older RestApi
• Update documentation (Lab 1)