Upgrade to use core library version 0.80.4

Another bugfix release.

For details, see https://github.com/Tightdb/tightdb/blob/master/release_notes.md#0804-release-notes