Add libbralloc.so to proprietary files

Change-Id: I77d8ad82ed692c0f79e6aea95f21d940d02c16f5