Don't use the box css class for the package search form
Update the main server front page a bit
Use the new cabal --report-planning-failure feature

By using cabal install --report-planning-failure, the build client will
generate reports even if the solver fails.