Merge pull request #1 from chrysn-pull-requests/update-devel

 Update to devel branch

.gitignore

+DTLSSocket/dtls.c
+build/

tinydtls @ 9a349611

-Subproject commit 8414f8ace98bab1f835b494c85e3a6d8144341c9
+Subproject commit 9a3496119688047b6d8b79826f13425397d92e10

setup.py

@@ -45,7 +45,8 @@ setup(
                  "DTLSSocket/tinydtls/peer.c",
                  "DTLSSocket/tinydtls/session.c",
                  "DTLSSocket/tinydtls/aes/rijndael.c",
-                 "DTLSSocket/tinydtls/sha2/sha2.c"
+                 "DTLSSocket/tinydtls/sha2/sha2.c",
+                 "DTLSSocket/tinydtls/platform-specific/dtls_prng_posix.c",
                  ],
                 include_dirs=['DTLSSocket/tinydtls'],
                 define_macros=[('DTLSv12', '1'),