Tech Report: Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives