Minor tweaks
Use HTTPS connection for error reports
BacktrackingSolver: Reject dependency graphs with multiple different requirements applying to a single dependency

The falback SAT solver is better suited to handling these cases