Remove `dev' target & add leak-check to valgrind
Add buffer_appendf function