[move_to_portal] Move portal files from root folder to portal folder
Merge pull request #163 from marc1706/move_to_portal

[move_to_portal] Move portal files from root folder to portal folder