Add Non-Quantum Gauge Theory

Extend covariant derivative to Abelian gauge transformations. Add demo notebook demonstrating the slogan "Forces arise from connections on sections of principal bundles."