0.3.1

    This is a bug fix release and does preserve API/ABI stability.

    [Dodji Seketeli]

    * updated API documentation
    * properly install gtksourceviewmm.h into * $prefix/include/gtksourceviewmm-1.0.
    * fix a crasher in tests/test-search.cpp

    [Yselkowitz]

    * #423990 better multiplatform support