Added information about portia and docker