Adapted Makefile to autoconf from kind2
These changes should have been applied to the submodule in the kind2 repository, not to this repository

This reverts commit 6389ead0b9ac5030ec8d20f7fe2a89fa4e9463bd.
Merge pull request #2 from chsticksel/master

Included CZMQ as subtree
Merge pull request #3 from chsticksel/master

Install CZMQ library into prefix directory, drop -rpath flag for linker
Removed -rpath flag
Squashed 'zeromq/' content from commit fd02f84

git-subtree-dir: zeromq
git-subtree-split: fd02f84ad4c43dc50b140ccb5f5b8a4bcdcb010f
Merge commit '7f16e4cd9ae37353b4a5c3bf8ad7c31bf345a6fc' as 'zeromq'
Squashed 'czmq/' changes from ca91178..8c6a6bc

REVERT: ca91178 Merge pull request #213 from hintjens/master
REVERT: bd5267f Merge pull request #219 from weberr13/addedHWM
REVERT: 0a6ab8f Fixed HWM support, fixed shadow_copy linger
REVERT: 9b9d65f Added more tests for zhash_rename
REVERT: 7e9f508 Fixed crash when subscribe used without publish
REVERT: 92cdadc Code cleanup for zhash_rename
REVERT: b02ceac Safer fix for issue #212
REVERT: 9a7e459 Revert "Removed definition of 'inline' for Windows"
REVERT: 82d7739 Revert "inline not safe to use in czmq_prelude.h, removed"
REVERT: 18d01db inline not safe to use in czmq_prelude.h, removed
REVERT: a1b6680 Merge pull request #217 from claws/master
REVERT: cd64e0a zmsg_load should return NULL if unable to load msg
REVERT: 06a666f Merge pull request #211 from hintjens/master
REVERT: b703c61 Removed definition of 'inline' for Windows
REVERT: f576f36 Use zmq_strerror to show real error cause
REVERT: 824636d Merge pull request #210 from hintjens/master
REVERT: 1b77c99 Added note about tivotisation
REVERT: 6b51e6b Merge pull request #209 from hintjens/master
REVERT: a6ca7f7 Added comment on iteration
REVERT: 9e4cf25 Fixed issue #208
REVERT: cf36309 Merge pull request #206 from hintjens/master
REVERT: 6258550 Did not signal error when trying to send empty message
REVERT: a36a9b5 Merge pull request #205 from hintjens/master
REVERT: e7883be Minor cleanup of variable name
REVERT: be75011 Merge pull request #204 from hintjens/master
REVERT: 413d42f Fixed use of ZMQ_STREAM to work with older libzmq
REVERT: f3f1d3f Trivial name change
REVERT: 8ff5c2b Using proper test keys for CURVE
REVERT: e91ed56 Fixed socket options to track latest libzmq master
REVERT: 28907c2 Merge pull request #203 from gavinmcniff/master
REVERT: 8a9cbe4 ZMQ_STREAM incorporated
REVERT: 29c9507 Merge pull request #202 from hintjens/master
REVERT: 5100329 Fixed use of errno (fixes #199)
REVERT: f65a17a Merge pull request #200 from vortechs2000/print_to_stream
REVERT: bfe1f93 Update remaining generated .txt file based on current source code
REVERT: 7e50f24 Update docs based on previous changes to zmsg.c and zframe.c
REVERT: 9af09c3 Change name of new functions from *_to_file() to *_to_stream()
REVERT: c657ec0 Add API to write zmsg_dump output (and zframe_print output) to FILE stream
REVERT: 54d670c Merge pull request #198 from hintjens/master
REVERT: 224d281 Added zframe_set_more method
REVERT: cf56d80 Merge pull request #197 from hintjens/master
REVERT: 3595408 Fixed execute bit
REVERT: c9db7b9 Merge pull request #196 from hintjens/master
REVERT: bd3acf9 Fixed spelling
REVERT: 685fa73 Merge pull request #195 from hintjens/master
REVERT: d0d7284 Updated man pages
REVERT: 9785db2 libsodium not needed in Travic CI build
REVERT: 9905afb Merge pull request #194 from hakankpunkt/master
REVERT: 4f4efdd ztree.h was missing
REVERT: b40579b Merge pull request #193 from mattconnolly/master
REVERT: 8566358 zbeacon: improve search for interface to skip interfaces with null broadcast address, which happens on SmartOS / Solaris.
REVERT: 83abd3f Update flags to build on SmartOS / Solaris
REVERT: c323af6 Tentative fix for #187
REVERT: a374292 Merge pull request #192 from shemminger/master
REVERT: 41b9320 ztree: switch to alternative source
REVERT: ac7c84e ztree: add some tests for ztree_update
REVERT: 5ebd45f ztree: fix comments around ztree_save/load
REVERT: 7c63421 ztree: add missing autofree to ztree_dup()
REVERT: 4a4b542 Merge pull request #191 from shemminger/master
REVERT: 7ebf23b Make local test functions static
REVERT: 0fb1257 Fix sparse warning
REVERT: e50a30b Merge pull request #190 from hintjens/master
REVERT: d3fbbc7 Whitespace and formatting fixes
REVERT: c4eea79 Merge pull request #189 from shemminger/master
REVERT: a71d98e Added support for ztree
REVERT: 49e6c7a Merge pull request #188 from hintjens/master
REVERT: 3688e5f Working on issue #187
REVERT: 7d05b8c Removed old unused build file
REVERT: 050ee31 Removing demo directory - these examples appear to be dead - code style is not consistent with CZMQ style standards (CLASS) - we have more complete demos elsewhere (FileMQ, Zyre at least)
REVERT: 4d77dad Updated platform builds to cover all classes
REVERT: 1b374c3 Version number should be 1.4.2
REVERT: 52b296c Version number is now updated in include/czmq.h only
REVERT: ba2eaa1 Removed zcurve class - no real use cases for CZMQ applications - moving to clab experimental/incubator project
REVERT: 1deb260 Selftest tags were wrong
REVERT: 63e2cac Renamed zbeacon_pipe to zbeacon_socket - left old method for compatibility, but marked as deprecated - 'pipe' was too specific about internal use of this socket - want to make this consistent with zsecure_socket ()
REVERT: 1160021 Merge pull request #186 from hintjens/master
REVERT: dae628c Merge pull request #185 from felipecruz/feature/readme_txt_travis
REVERT: 2bd1e32 Renamed zconfig _set methods for consistency
REVERT: 7133e23 Finished zcurve first implementation and test cases
REVERT: d6a8afa Trivial code cleanup
REVERT: fca45e3 ZPL name parsing was not accurate
REVERT: eb15a80 add travis image to README.txt
REVERT: 7c87123 Merge pull request #184 from felipecruz/feature/readme_travis_status
REVERT: 43bfc74 add travis ci build image to readme
REVERT: baf4d8e Merge pull request #183 from hintjens/master
REVERT: 348fff8 Added support for libsodium
REVERT: 6617306 Added ldconfig after dependency builds
REVERT: 41f2e1f Merge pull request #182 from hintjens/master
REVERT: aadf53c Fixing yet more merge conflicts, gaaargh
REVERT: a57e98f Merge pull request #180 from hintjens/master
REVERT: 0a247f5 Another attempt to fix Travis CI build
REVERT: 94d1817 Disabled selftest on zcurve to patch broken master
REVERT: 1a74ced Merge pull request #178 from hintjens/master
REVERT: a9c8740 Fixed name of Travis file
REVERT: 63cf9b7 Added cast from zmalloc, and STRONGER WARNINGS
REVERT: 87db002 Fixed const on string options
REVERT: 552ac19 Regenerated source code to match headers
REVERT: 41c40d6 Testing Travis CI
REVERT: 5340db9 Using 'class' everywhere for consistency
REVERT: eee617a Methods to allow creation of private files
REVERT: 6e3693a Added zconfig module
REVERT: ac37d86 Cosmetic change to source header formatting
REVERT: fbcacf5 Merge pull request #179 from shemminger/v1.4.x-fixes
REVERT: 64c0a22 zsockopt: fix prototype mismatch
REVERT: f991973 zcurve: fix unused variable errors
REVERT: 4d7d464 Merge pull request #177 from hintjens/master
REVERT: 61ec219 Merge pull request #176 from jlopezr/master
REVERT: 0ed6679 Adding a more informational assert
REVERT: 77a5bb4 Ignoring ENOTSOCK error from zsock_set_linger
REVERT: de8c1bc Zero-copy methods slated for removal
REVERT: 90c7d6e zframe_reset_zero_copy removed due to multiple errors - if free_fn is null, ignores data - at end, copies data in any case, so isn't zero-copy - makes API complex for uncertain benefit
REVERT: 271e249 Merge pull request #174 from mkoppanen/zloop-rebuild-on-end
REVERT: bb4f361 Merge pull request #173 from pijyoi/master
REVERT: 1c421b1 vsnprintf: use stack buffer instead of heap
REVERT: 1a7b1a2 Merge pull request #172 from mkoppanen/master
REVERT: dee30e0 Merge pull request #171 from hintjens/master
REVERT: 1d66e56 Updated man pages
REVERT: e7030b0 Added zcurve_decode for message decoding
REVERT: 801ffa5 Revert "Removed latest zero_copy additions in zframe and zsocket"
REVERT: e811286 Minor code cleanups
REVERT: d26fde6 Uses state to know when ready for messages
REVERT: 4f56956 Refactored into cleaner encrypt/decrypt calls
REVERT: c641898 Refactoring internals to use shared encrypt/decrypt functions
REVERT: 2f961d5 Removed latest zero_copy additions in zframe and zsocket - the code was complex and I'm skeptical that it is necessary - it was leaking memory in selftests and I did not find the cause - if we do *need* zerocopy all over the place I'd like to find a better API
REVERT: 72d0000 Fixed lots of small faults in recently added code - variable names like 'i' and 'strSomethingBogus' - memory leaks in selftests - general indentation and layout
REVERT: 2ae5143 Added -lpthread to link statement
REVERT: 1049417 zcurve works with variable messages - beginning to support metadata - removed zblob class again, it's not needed
REVERT: ea1b812 Second draft of zcurve module - sending/receiving frames over DEALER-ROUTER, in selftest - new module, zblob, for size-specified binary strings
REVERT: 79ff218 Man pages rebuilt automatically
REVERT: 0643885 Fixes an issue where calling zloop_poller_end from handler causes potential uninitialised read on during the iteration
REVERT: 949cf41 Merge pull request #169 from vortechs2000/more_windows_fixes
REVERT: 8b30b38 Fix memory leak on EGAIN etc
REVERT: eb8a24f According to documentation "Cancel all timers for a specific argument (as provided in zloop_timer)"
REVERT: fc908d2 Add zcurve.[ch] to the czmq project
REVERT: 1c39f37 Make build directory for Win32 RelWitDebInfo $(PlatformName)\$(ConfigurationName)
REVERT: 6970ef2 Change so we only don't include platform.h when using visual studio, but do otherwise
REVERT: bb58500 Add RelWithDebInfo configuration
REVERT: 841f37a Changes nothing, just rearranges the sections as visual studio likes
REVERT: 9449363 Fix zcurve.c so it builds on Windows  * Don't include platform.h when building using Visual Studio  * umask doesn't work the way it was used here, so just don't call    it on Windows  * Make sure to cast void * to the type you're assigning it to on Windows
REVERT: 6aa043d Merge pull request #168 from jlopezr/master
REVERT: ad7b555 Removing syslog.h from czmq_prelude.h
REVERT: d16ed33 Merge pull request #166 from pijyoi/fix-vsnprintf
REVERT: e20729b fix vsnprintf usage
REVERT: 4a30573 MSVC vsnprintf differs from POSIX
REVERT: 23f24f6 va_{start,end} needs to be called for each vsnprintf
REVERT: dd9dc9d Merge pull request #161 from hintjens/master
REVERT: 5d48452 Cosmetic style fixes
REVERT: 87677ec First version of zcurve, with fixed length messages
REVERT: 752e0bb Merge pull request #163 from ulikoehler/zsocket_sendmem
REVERT: fe03da2 Make socket first argument in zsocket_sendmem functions
REVERT: eb6c13e Fix sendmem docsg
REVERT: 2cb4d48 Moved sendmem functions to zsocket
REVERT: 229870b Merge pull request #162 from ulikoehler/docfix
REVERT: da26652 Fix linefolding
REVERT: 38a3729 Added documentation for functions from previous pull requests
REVERT: b90dd64 Merge pull request #159 from ulikoehler/zframe_send_docfix
REVERT: 94a3e52 Merge pull request #160 from ulikoehler/zsockopt_const_subscribe
REVERT: 2989043 Merge pull request #157 from ulikoehler/zframe_sendmem
REVERT: 9260291 Update doc/zsockopt.txt
REVERT: b80f9e4 Update doc/zframe.txt
REVERT: c5f8be0 Merge pull request #158 from ulikoehler/missing_headerdecls
REVERT: 06eabc0 Make zsockopt_set_subscribe, ..._unsubscribe and ..._identity take a const char* argument
REVERT: 5115b2d Fix incorrect return code documentation for zframe_send
REVERT: 94c3aa5 Added missing header decls from previous pull requests
REVERT: f94a4cb Added zframe_sendmem + zero-copy version + tests
REVERT: baaea8f Merge pull request #156 from ulikoehler/zframe_new_empty
REVERT: bf5b815 Added zframe_new_empty (and corresponding test)
REVERT: 4b61207 Merge pull request #155 from ulikoehler/zmsg_reset_zero_copy
REVERT: 0987c22 Improve zframe_reset_zero_copy documentation
REVERT: c1c3392 added zframe_reset_zero_copy selftest
REVERT: 6eb37bf Added zmsg_reset_zero_copy
REVERT: ce88220 Post-package version bump to 1.4.2

git-subtree-dir: czmq
git-subtree-split: 8c6a6bc257b048f719e143be6b8ae56838ff1663
Merge commit '2aa07bc66d76eb7bd4ff51bfb5ccd79a60a3d7e9' into libtool
Included ZeroMQ, compile into one static library
Typo, need autogen.sh for czmq
New installation instructions
Merge pull request #4 from chsticksel/libtool

Build one static library using libtool, included ZeroMQ and CZMQ as subtrees