Import graphics/nvidia-texture-tools version 2.0.8.1_4
Update graphics/devil to version 1.7.8_13,1
Tweak games/arx-libertatis version 1.0.3_1