Feature request - Publish kepler-formal on bazel bcr

[oharboe]

1. Make kepler-formal build with bazel from scratch idiomatically
2. Publish kepler-formal on bazel bcr

[nanocoh]

First version on step 1 is done.
As noted correctly by @xtofalex in the related PR, in order to have a full productized version, there will need to be further work from our side to upstream the bazel build to the owners themselves. We will continue to work on it in the backround and report when more advancement is made in this regard.