[server, python] Add is_virtual field to SharedRepo object.
[server] Add system default library.

Used as template for creating default libraries for users.