Implements require-pronto.js and require-pronto.dev.js