A High-Performance Domain-Specific Language And Code Generator For General N-Body Problems