chore: add sourcemap to distribution using gulp-sourcemaps.

A sourcemap file including source contents is generated for the minified distribution file when running `gulp build_source`.
The sourcemap is now also added to the documentation assets.