add ftype-scheme-object-pointer and related foreign-pointer extensions
#407
| Job | Run time |
|---|---|
| 29m 59s | |
| 19m 49s | |
| 21m 59s | |
| 9m 8s | |
| 12m 20s | |
| 12m 33s | |
| 15m 54s | |
| 9m 10s | |
| 12m 3s | |
| 8m 20s | |
| 11m 31s | |
| 15m 11s | |
| 13m 39s | |
| 15m 22s | |
| 12m 57s | |
| 58m 51s | |
| 4h 38m 46s |