Remove outdated sections from SPEC.md, including standard library functions, example programs, and performance monitoring details.

Signed-off-by: Cong Wang <cwang@multikernel.io>

Author: congwang-mk