truncate_db_file(+File, +Byte) is det[private]

Truncate File to Byte bytes. As Byte is the position just after the `.` that ends the last valid term we add a newline to ensure a term appended to the file is properly separated.