Instructions for downloading and integrating portal-vue

1. download bootstrap-vue distribusion throuhg npm
   npm install portal-vue

2. Copy node_modules/portal-vue/dist/portal-vue.esm.js to amd/src/portal-vue

3. Change import statements on top of bootstrap-vue.esm to:

   /* Modification to handle relative loading of vue */
   // Import Vue from dev or prod depending on the developerdebug setting.
   // (Importing both dev and prod seems easier than using dynamic imports, but I could be mistaken)
   import Config from "core/config";
   import VueDev from '../vue/dev/vue';
   import VueProd from '../vue/prod/vue';
   const Vue = Config.developerdebug?VueDev:VueProd;
   /* End modification */