javagen.OFPortPortBitmap: add some documentation
Merge branch 'master' of github.com:floodlight/loxigen
.build/push-artifacts: also push tags

The tags for the loxigen-artfacts repository were generated locally
but not sent to github.
Merge into master from pull request #146:
small fixes, push tags in push-artifacts (https://github.com/floodlight/loxigen/pull/146)