Add a basic CI

[Kailai-Wang]

We still need a basic CI (even if we do the deployment elsewhere), like:

• lint
• compile
• optional deployment