r 3.1.2

"Pumpkin Helmet" was released October 31, 2014.

See more: https://stat.ethz.ch/pipermail/r-announce/2014/000578.html

Closes #1315.
maker: remove optional module dep

:optional, :recommended are deprecated for modules.
cantera: remove outdated devel
mathomatic: fix audit warning

Convert devel to HEAD.
mrbayes: cleanup
qrupdate: use lower-case formula name
analysis: update homepage
opencv: make eigen recommended

Closes #1287.
osgearth: fix option precedence
octave: set GNUTERM in site octaverc

Avoid Octave's default gnuplot aquaterm graphics interface.
Set GNUTERM=qt with Octave's Qt-based GUI installed.

Closes #1308.
p4est: 1.1 (new formula)

Closes #1292.
Merge remote-tracking branch 'upstream/master'