Disable texture-float.

This is patented extension hence we don't enable it by default.

@chuck.atkins Let's move the docker file and any updates we do to it here, instead of github.

mentioned in commit 047b7efc

Status changed to merged