1.2.5

Notable changes since 1.2.4:

• Renamed the function rm_dir() to delete_dir() in the module dir.
• Moved the function save_web_page_as_pdf() from the module text to store.
• Removed two functions from the module ops: get_variable_name() and get_variable_names().
• Improved the following function/class:
  • save() in the module store;
  • PostgreSQL in the module sql.