configure: add mips-float (soft, hard) option