Documentation: bump developers guide version to 1.3