Changed default user preferences for the external solver to avoid downgrades

Added -count(down) to user preferences, in order to aske the external solver to avoid unwanted downgrades.
This is making use of the MISC2012 competition preference syntax, currently supported by aspcud.