Update php-libraries.txt

add a library names 'mongodm'

Signed-off-by: Sam Kleinman <samk@10gen.com>
build: bootstrap fix