Allow selecting float ABI in run-tests.sh