add libsolv.3 man page