Fixing stdin reading
Better version printing in simple cryptominisat