- bsd-user: fix sysctl hw.physmem if host bitsize != target's.
- Bump PORTREVISION.

Reported by:	sbruno
Fix indentation.
net-p2p/gtk-gnutella: Finish off de-hardcoding pkg-plist
www/siteframe: Rework so that overriding extract target is unnecessary
Conver to USES=python
lang/python{27,33,34}: Backport fix for upstream Issue #21166

Backport fix for upstream Issue #21166:

Prevent possible segfaults and other random failures of python
--generate-posix-vars in pybuilddir.txt build target by ensuring
that pybuilddir.txt is always regenerated when configure is run and
that the newly built skeleton python does not inadvertently import
modules from previously installed instances. [1]

This changeset has been committed for release in 2.7.9, 3.4.2, and 3.5.0.

A HUGE thank you to Ned Deily from the Python Core Development Team
for helping to identify the underlying cause, produce a fix and
wonderfully document the explanation.

[1] http://bugs.python.org/issue21166
lang/python{27,33,34}: Bump PORTREVISION, sanitizes builds.

Bump PORTREVISION, as prior to the previous change that fixed upstream Issue
#21166, Python builds could be potentially polluted by the host environment
which could caused runtime issues because of ABI differences.
Fix some stage orphans
devel/picosat: Satisfiability (SAT) solver for boolean variables

PicoSAT is a satisfiability (SAT) solver for boolean variables in
boolean expressions. A SAT solver can determine if it is possible to
find assignments to boolean variables that would make a given set of
expressions true. If it's satisfiable, it can also show a set of
assignments that make the expression true.

Many problems can be broken down into a large SAT problem (perhaps with
thousands of variables), so SAT solvers have a variety of uses.

WWW: http://fmv.jku.at/picosat
[NEW] devel/py-pycosat: Bindings to PicoSAT (a SAT solver)

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.

WWW: https://github.com/ContinuumIO/pycosat