Programming Micro-Aerial Swarms with Karma