trying to make docs readbable for xcode, currently docsetutil is stopping with useless error message
DAMN crappy Apple documentation why don't you say where Nodes.xml goes!
build PETSc.docset outside of PETSc.framework
make installer allow installing PETSc.* in correct locations
generate list of symbols fo xcode to use in quick searches of docs
add systems/Apple/OSX/bin/makeall that handle entire building of PETSc.dmg installer for framework and docs
minor update to manual on building PETSc xcode framework and docs
PCBDDC: demand object destruction to setup routines for BDDCGraph and constraints
PCBDDC: Prepare for different primal spaces customization among different linear solves

now bddc primal space is built using a NullSpace attached to pmat. It only remains to determine whether the NearNullSpace object has changed
PCBDDC/PCIS: make vec4_D a member of pcis, not pcbddc
PCBDDC: local work vectors should be created only if new constraints are created and the relevant sizes are different
PCBDDC: now PCBDDC reuses part of its private data if NearNullSpace customization is changed between different linear solves

I know it is a large commit, but this is the minimal set of changes to get it working
PCBDDC: allow different customization of dirichlet and neumann boundary indices among successive linear solves
PCBDDC: better management of primal space. Now a coarse numbering is computed if and only if the primal space has been really changed
PCBDDC: improved reuse of coarse matrix

MatCovert_IS_AIJ renamed in MatISGetMPIXAIJ (MatConvert does not support out-of-place reuse of destination matrix)
Added some lines in MATIS code (commented).
PCBDDC: check of dirichlet and neumann solvers is not needed if pcbddc->NullSpace is not present

Added some PetscSynchronizedAllow since on some machines the verbose output is broken otherwise
PCBDDC: make BtoNmap a member of bddc data struct (created once after PCISSetUp)

Use GlobalToLocalMapping to map local to boundary indices
Inserted some memcpy to speed up memory movement
PCBDDC: introduce a new variable in PCBDDC data stucture to store the actual number of current vertices (corners with constraints with basis changed)

removed calls to PCBDDCGetPrimalVerticesLocalIdx which are no longer needed
Merge branch 'prbrune/mat-matcolor' into prbrune/fas-gscolorsecant
Added an initial implementation of coloring-based nonlinear Gauss-Seidel.
Added options and improvements to the secant Gauss-Seidel solver