Added Lwt_list.filter_map_{s,p}.
Fix android stubs.
fix #111: (try_lwt .. with x as y -> ...) generates an "unused case" warning
Merge pull request #110 from vbmithr/filter_map

Added Lwt_list.filter_map_{s,p}.
Merge pull request #113 from gasche/fix111

fix #111: (try_lwt .. with x as y -> ...) generates an "unused case" warning
Merge pull request #112 from whitequark/android-fixes

Fix android stubs