Commit 3e310515 removed the portal module as its feature are completely
replaced by front-end customer portal or base portal user support in various modules.

However the portal pot file, kicked out of Odoo by the door, tried
to come back through the window. This commit closes the window and
puts this file out again. Let us hope it does not make holes in
the garden or barks at neighbors.