svn: use more detailed logs/errors so exception_tracker can show it with details.

exception_store: rename .ini option for future

exc_store: allow to specify a custom path for exception store.

Added tag v4.13.1 for changeset c3ded3ff17e9

release: Finish preparation for 4.13.1

release: updated pip2nix output for 4.13.1

release: Start preparation for 4.13.1

dependencies: pin some dependencies to prevent from constant version changes.

Added tag v4.13.0 for changeset e1d42d92a0fe

release: Finish preparation for 4.13.0