add lib/version.php contains version number, remove docs/VERSION and update page_welcome to get version from lib/version.php