Refresh build directory

This commit is the result of running:

    $ ./waf configure && ./waf
js/face.js indentation: Remove bad nbsp char

... and refresh build directory using:

    $ ./waf configure && ./waf
Merge branch 'patch-1' into patch-3
examples/ndnping: Add console.log calls