[waffle] [PULL] Add the waffle_teardown API

[Emil Velikov]

Hi Chad,

Here is to another waffle API - waffle_teardown
In summary:
 - It pairs up with waffle_init
 - Cleans up some memory "leaks"
 - Allows one to switch between platforms without the need to exit the program.

Let me know if you'd like me to resend the patches and/or rebase them on top of any other branch.

-Emil

The following changes since commit 8f6c49d25bd010490d803852a4156caf8e1e2777:

  Merge branch 'maint-1.5' into master (2015-02-02 15:47:19 -0800)

are available in the git repository at:

  https://github.com/evelikov/waffle for-chad/waffle-teardown

for you to fetch changes up to de9aa633ab08bf1dac546b3f742a557708822c41:

  wflinfo: use waffle_teardown (2015-02-04 01:07:48 +0000)

----------------------------------------------------------------
Emil Velikov (3):
      waffle: add public func waffle_teardown()
      examples: make use of waffle_teardown
      wflinfo: use waffle_teardown

 examples/gl_basic.c                |   4 ++
 examples/simple-x11-egl.c          |   5 ++
 include/waffle/waffle.h            |   5 ++
 man/common/author-emil.velikov.xml |   8 +++
 man/html.cmake                     |   2 +
 man/manpages.cmake                 |   2 +
 man/waffle_init.3.xml              |   3 +-
 man/waffle_teardown.3.xml          | 115 +++++++++++++++++++++++++++++++++++++
 src/utils/wflinfo.c                |   6 +-
 src/waffle/api/api_priv.h          |   6 +-
 src/waffle/api/waffle_init.c       |  20 +++++++
 src/waffle/waffle.def.in           |   1 +
 12 files changed, 172 insertions(+), 5 deletions(-)
 create mode 100644 man/common/author-emil.velikov.xml
 create mode 100644 man/waffle_teardown.3.xml