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