Exporting contacts into a file is a functionality which is not going to appear in ResBook, at least for the moment.

There is a way how to download the contacts via Exporting bookings in ResBook > Bookings > Full List > [set the dates] > Export Details in csv file

For information about Contacts, please click here.