update paket
add github dependency