Merge: Clean up Android and Linux app.nit libraries