Post-build script
It would be useful to be able to add post-build actions to be executed by build-script.sh. This would allow to perform checks or copy files at the end of the build.
Currently there are the optional scripts user_init_pre.sh and user_init_post.sh that are executed before and after the initialization. However, there is no equivalent user script called after assert-builder-ocarina.py.