Cppless: Single-Source and High-Performance Serverless Programming in C++