Merge into master from pull request #146:
small fixes, push tags in push-artifacts (https://github.com/floodlight/loxigen/pull/146)