Always use prime policy for integers. Fixes trac #9282.
Add metadata
Fix policy typedefs.
Add maintainers to metadata.
Switch to latest meta/libraries.json
Regenerate libraries.json with latest script.
Fix map allocators in introduction. Fixes trac #9719.
Merge branch 'develop'