3.8: optimizations

🚀 Optimizations

• load ASP code at once
• introduce CLINGO_OPTS environment variable to pass options to clingo
• add optimized methods for counting solutions

🗒️ Full Changelog: v3.5...v3.8