what kinda license is PHP? and can we list it in stdenv.lib.licenses?