Update sourceMappingURL comment syntax

Use non-deprecated format for sourceMappingURL comment. See:

    http://www.html5rocks.com/de/tutorials/developertools/sourcemaps/
tools/build: minor syntax tweaks