Add ppkg-config's --ccmd command to the documentation