Update proprietary-files.txt

Missing .so extension for the libbralloc file or is the libbralloc a folder in the Corsica
Merge pull request #3 from wulsic/patch-2

Update proprietary-files.txt